منابع مشابه
Situations in LTL as strings
Article history: Received 21 November 2006 Revised 15 May 2008 Available online 11 April 2009
متن کاملStrings as Solitons & Black Holes as Strings
Supersymmetric closed string theories contain an infinite tower of BPS-saturated, oscillating, macroscopic strings in the perturbative spectrum. When these theories have dual formulations, this tower of states must exist nonperturbatively as solitons in the dual theories. We present a general class of exact solutions of low-energy supergravity that corresponds to all these states. After dimensi...
متن کاملDF-strings from D3D̄3 as Cosmic Strings
We study Dirac-Born-Infeld type effective field theory of a complex tachyon and U(1)×U(1) gauge fields describing a D3D̄3 system. Classical solutions of straight global and local DFstrings with quantized vorticity are found and are classified into two types by the asymptotic behavior of the tachyon amplitude. For sufficiently large radial distances, one has linearlygrowing tachyon amplitude and ...
متن کاملNonlocal Particles as Strings
We find nonlocal particle theories with two dimensional conformal symmetry, including examples equivalent to the bosonic open string and closed string. This work provides a new approach to construct solvable consistent backgrounds in string theory.
متن کاملSituations as indices and as denotations
A distinction is drawn between situations as indices required for semantically evaluating sentences and situations as denotations resulting from such evaluation. For atomic sentences, possible worlds may serve as indices, and events as denotations. The distinction is extended beyond atomic sentences according to formulae-as-types and applied to implicit quantifier domain restrictions, intension...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.05.035